Semantics-Preserving Message Translation
نویسندگان
چکیده
It is common for information exchange between heterogeneous systems to be syntactically correct but fail to achieve its intended purpose due to semantic mismatches. NATO research group IST-094 is developing a framework to facilitate semantic interoperability. We will show a live demonstration of one possible approach to implementing a message translation broker, following the Semantic Interoperability Framework phase structure (i.e., preparatory, configuration, and operational phases). The broker uses a combination of OWL, SWRL, Prolog, Java, XSLT, and Javascript. What follows is an extended abstract of the translation broker demonstration and the introductory presentation that will describe its technical foundations.
منابع مشابه
Semantics - Preserving Message Translation Demonstration of a Time - Space Position Information Example
It is common for information exchange between heterogeneous systems to be syntactically correct but fail to achieve its intended purpose due to semantic mismatches. NATO research group IST-094 is developing a framework to facilitate semantic interoperability. We will show a live demonstration of one possible approach to implementing a message translation broker, following the Semantic Interoper...
متن کاملTranslation and Hybridity in Scenes and Frames Semantics
The present study is a theoretical attempt to illustrate how Fillmore's Scenes and Frames Semantics (SFS) could be employed as a framework to portray the process of understanding and translating hybrid texts. It first reviews the origin of SFS; then it maps SFS onto Nida’s linguistic model of translation process and the Interpretive Theory of Translation; it examines in the next section, withi...
متن کاملTranslation-Based Compositional Reasoning for Software Systems
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning to overcome the computational complexity of model checking. This paper presents Translation-Based Compositional Reasoning (TBCR), an approach to application of compositional reasoning in the context of model checking ...
متن کاملA Formal, Resource Consumption-Preserving Translation of Actors to Haskell
We present a formal translation of an actor-based language with cooperative scheduling to the functional language Haskell. The translation is proven correct with respect to a formal semantics of the source language and a high-level operational semantics of the target, i.e. a subset of Haskell. The main correctness theorem is expressed in terms of a simulation relation between the operational se...
متن کاملActor Languages Their Syntax, Semantics, Translation, and Equivalence
In this paper we present two actor languages and a semantics preserving translation between them. The source of the translation is a high-level language that provides object-based programming abstractions. The target is a simple functional language extended with basic primitives for actor computation. The semantics preserved is the interaction semantics of actor systems—sets of possible interac...
متن کامل